diagonal argument

对角线方法